--- /var/abs/core/grub/PKGBUILD 2014-04-25 22:05:20.000000000 +0000 +++ /opt/abs/grub/PKGBUILD 2014-04-28 11:27:39.930068077 +0000 @@ -2,6 +2,9 @@ # Maintainer : Ronald van Haren # Contributor: Keshav Padram Amburay <(the ddoott ridikulus ddoott rat) (aatt) (gemmaeiil) (ddoott) (ccoomm)> +## "1" to enable IA32-EFI build in Arch x86_64, "0" to disable +_GRUB_IA32_EFI_ARCH_X64="1" + _pkgver="2.02" _GRUB_GIT_TAG="grub-2.02-beta2" @@ -218,6 +221,12 @@ msg "Build grub ${_EFI_ARCH} efi stuff" _build_grub-efi echo + + if [[ "${CARCH}" == "x86_64" ]] && [[ "${_GRUB_IA32_EFI_ARCH_X64}" == "1" ]]; then + msg "Build grub i386 efi stuff" + _EFI_ARCH="i386" _build_grub-efi + echo + fi } @@ -270,5 +279,11 @@ msg "Package grub bios stuff" _package_grub-common_and_bios - + + if [[ "${CARCH}" == "x86_64" ]] && [[ "${_GRUB_IA32_EFI_ARCH_X64}" == "1" ]]; then + msg "Package grub i386 efi stuff" + _EFI_ARCH="i386" _package_grub-efi + echo + fi + }